$\forall$$T$:Type, $L$:($T$ List), $x$, $y$:$T$. adjacent($T$;$L$;$x$;$y$) $\Rightarrow$ \{($x$ $\in$ $L$) \& ($y$ $\in$ $L$)\}